Fix previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2011 17:32:58 +0000 (13:32 -0400)
committerGlenn Morris <rgm@gnu.org>
Fri, 17 Jun 2011 17:32:58 +0000 (13:32 -0400)
commite58f02b5384312a170979e780de4bb231e991228
treecfb807c53796a7d444947901b9072a144f75cb08
parenteeb0e26042d518e908192ad47ab7d30ca374d932
Fix previous change.
configure.in